dt(l;da)
== compose-fpf(k.if isrcv(k) if lnk(k) = l inl(tag(k)) else inr() fi else inr() fi;tg.
== rcv(l,tg);da) 

latex

Definitions	compose-fpf(a;b;f), isrcv(k), if b t else f fi, a = b, lnk(k), inl(x), tag(k), inr(x), , x.A(x), rcv(l,tg)
FDL editor aliases	es-dt